$\forall$$k$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$$\rightarrow\mathbb{B}$). $\mathbb{B}$size($k$;$f$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<$$k$+1}}$